bond(t1,t1_1,t1_2,1).
bond(t1,t1_2,t1_3,1).
bond(t1,t1_3,t1_4,1).
bond(t1,t1_4,t1_5,1).
bond(t1,t1_2,t1_6,1).
bond(t1,t1_2,t1_7,1).
bond(t1,t1_4,t1_8,1).
bond(t1,t1_4,t1_9,1).
bond(t1,t1_5,t1_10,1).
bond(t1,t1_1,t1_11,1).
bond(t1,t1_11,t1_10,1).
bond(t1,t1_3,t1_12,1).
bond(t1,t1_3,t1_13,1).
bond(t1,t1_1,t1_14,1).
bond(t1,t1_1,t1_15,1).
bond(t1,t1_14,t1_5,1).
bond(t1,t1_5,t1_16,1).
bond(t1,t1_14,t1_17,1).
bond(t1,t1_17,t1_18,1).
bond(t1,t1_17,t1_19,1).
bond(t1,t1_17,t1_20,1).
bond(t1,t1_11,t1_21,1).
bond(t1,t1_11,t1_22,1).
bond(t1,t1_21,t1_10,1).
bond(t1,t1_10,t1_23,1).
bond(t1,t1_12,t1_24,1).
bond(t1,t1_24,t1_25,1).
bond(t1,t1_24,t1_26,2).
bond(t1,t1_25,t1_27,1).
bond(t1,t1_27,t1_28,7).
bond(t1,t1_28,t1_29,7).
bond(t1,t1_29,t1_30,7).
bond(t1,t1_30,t1_31,7).
bond(t1,t1_31,t1_32,7).
bond(t1,t1_32,t1_27,7).
bond(t1,t1_28,t1_33,1).
bond(t1,t1_29,t1_34,1).
bond(t1,t1_30,t1_35,1).
bond(t1,t1_31,t1_36,1).
bond(t1,t1_32,t1_37,1).
bond(t1,t1_25,t1_38,1).
bond(t1,t1_25,t1_39,1).
bond(t1,t1_38,t1_40,1).
bond(t1,t1_38,t1_41,1).
bond(t1,t1_38,t1_42,1).
bond(t1,t1_40,t1_43,1).
bond(t10,t10_1,t10_2,7).
bond(t10,t10_2,t10_3,7).
bond(t10,t10_3,t10_4,7).
bond(t10,t10_4,t10_5,7).
bond(t10,t10_5,t10_6,7).
bond(t10,t10_6,t10_1,7).
bond(t10,t10_1,t10_7,1).
bond(t10,t10_2,t10_8,1).
bond(t10,t10_5,t10_9,1).
bond(t10,t10_6,t10_10,1).
bond(t10,t10_3,t10_11,7).
bond(t10,t10_11,t10_12,7).
bond(t10,t10_12,t10_13,7).
bond(t10,t10_13,t10_14,7).
bond(t10,t10_14,t10_4,7).
bond(t10,t10_12,t10_15,1).
bond(t10,t10_15,t10_16,1).
bond(t10,t10_16,t10_17,1).
bond(t10,t10_17,t10_18,7).
bond(t10,t10_18,t10_19,1).
bond(t10,t10_19,t10_15,1).
bond(t10,t10_15,t10_20,1).
bond(t10,t10_17,t10_21,7).
bond(t10,t10_21,t10_22,7).
bond(t10,t10_22,t10_23,7).
bond(t10,t10_23,t10_24,7).
bond(t10,t10_24,t10_18,7).
bond(t10,t10_21,t10_25,1).
bond(t10,t10_22,t10_26,1).
bond(t10,t10_23,t10_27,1).
bond(t10,t10_24,t10_28,1).
bond(t10,t10_19,t10_29,2).
bond(t10,t10_16,t10_30,2).
bond(t10,t10_13,t10_31,1).
bond(t10,t10_14,t10_32,1).
bond(t11,t11_1,t11_2,1).
bond(t11,t11_1,t11_3,1).
bond(t11,t11_1,t11_4,1).
bond(t11,t11_1,t11_5,1).
bond(t11,t11_2,t11_6,1).
bond(t11,t11_6,t11_7,1).
bond(t11,t11_6,t11_8,1).
bond(t11,t11_6,t11_9,1).
bond(t11,t11_2,t11_10,1).
bond(t11,t11_2,t11_11,1).
bond(t11,t11_10,t11_12,2).
bond(t11,t11_10,t11_13,1).
bond(t12,t12_1,t12_2,2).
bond(t12,t12_1,t12_3,2).
bond(t12,t12_1,t12_4,2).
bond(t13,t13_1,t13_2,1).
bond(t13,t13_2,t13_3,1).
bond(t13,t13_3,t13_4,1).
bond(t13,t13_3,t13_5,1).
bond(t13,t13_3,t13_6,1).
bond(t13,t13_1,t13_7,1).
bond(t13,t13_1,t13_8,1).
bond(t13,t13_1,t13_9,1).
bond(t13,t13_2,t13_10,1).
bond(t13,t13_2,t13_11,1).
bond(t13,t13_10,t13_12,1).
bond(t14,t14_1,t14_2,1).
bond(t14,t14_2,t14_3,1).
bond(t14,t14_2,t14_4,1).
bond(t14,t14_2,t14_5,1).
bond(t14,t14_3,t14_6,1).
bond(t14,t14_3,t14_7,1).
bond(t14,t14_3,t14_8,1).
bond(t14,t14_1,t14_9,1).
bond(t14,t14_1,t14_10,1).
bond(t14,t14_9,t14_11,1).
bond(t14,t14_9,t14_12,1).
bond(t14,t14_9,t14_13,1).
bond(t14,t14_11,t14_14,1).
bond(t14,t14_11,t14_15,1).
bond(t14,t14_11,t14_16,1).
bond(t14,t14_6,t14_17,1).
bond(t14,t14_14,t14_18,1).
bond(t15,t15_1,t15_2,7).
bond(t15,t15_2,t15_3,7).
bond(t15,t15_3,t15_4,7).
bond(t15,t15_4,t15_5,7).
bond(t15,t15_5,t15_6,7).
bond(t15,t15_6,t15_1,7).
bond(t15,t15_1,t15_7,1).
bond(t15,t15_3,t15_8,1).
bond(t15,t15_4,t15_9,1).
bond(t15,t15_6,t15_10,1).
bond(t15,t15_11,t15_12,7).
bond(t15,t15_12,t15_13,7).
bond(t15,t15_13,t15_14,7).
bond(t15,t15_14,t15_15,7).
bond(t15,t15_15,t15_16,7).
bond(t15,t15_16,t15_11,7).
bond(t15,t15_11,t15_17,1).
bond(t15,t15_12,t15_18,1).
bond(t15,t15_15,t15_19,1).
bond(t15,t15_16,t15_20,1).
bond(t15,t15_13,t15_21,1).
bond(t15,t15_21,t15_22,1).
bond(t15,t15_22,t15_23,1).
bond(t15,t15_23,t15_14,1).
bond(t15,t15_24,t15_25,7).
bond(t15,t15_25,t15_26,7).
bond(t15,t15_26,t15_27,7).
bond(t15,t15_27,t15_28,7).
bond(t15,t15_28,t15_29,7).
bond(t15,t15_29,t15_24,7).
bond(t15,t15_25,t15_30,1).
bond(t15,t15_26,t15_31,1).
bond(t15,t15_28,t15_32,1).
bond(t15,t15_29,t15_33,1).
bond(t15,t15_21,t15_5,1).
bond(t15,t15_21,t15_24,1).
bond(t15,t15_27,t15_34,1).
bond(t15,t15_23,t15_35,2).
bond(t15,t15_2,t15_36,1).
bond(t15,t15_36,t15_37,1).
bond(t15,t15_34,t15_38,1).
bond(t16,t16_1,t16_2,7).
bond(t16,t16_2,t16_3,7).
bond(t16,t16_3,t16_4,7).
bond(t16,t16_4,t16_5,7).
bond(t16,t16_5,t16_6,7).
bond(t16,t16_6,t16_1,7).
bond(t16,t16_1,t16_7,1).
bond(t16,t16_3,t16_8,1).
bond(t16,t16_4,t16_9,1).
bond(t16,t16_5,t16_10,1).
bond(t16,t16_6,t16_11,1).
bond(t17,t17a_1,t17a_2,7).
bond(t17,t17a_2,t17a_3,7).
bond(t17,t17a_3,t17a_4,7).
bond(t17,t17a_4,t17a_5,7).
bond(t17,t17a_5,t17a_6,7).
bond(t17,t17a_6,t17a_1,7).
bond(t17,t17a_1,t17a_7,1).
bond(t17,t17a_2,t17a_8,1).
bond(t17,t17a_6,t17a_9,1).
bond(t17,t17a_5,t17a_10,1).
bond(t17,t17a_10,t17a_11,1).
bond(t17,t17a_10,t17a_12,1).
bond(t17,t17a_10,t17a_13,1).
bond(t17,t17a_4,t17a_14,1).
bond(t17,t17a_14,t17a_15,1).
bond(t17,t17a_14,t17a_16,1).
bond(t17,t17a_14,t17a_17,1).
bond(t17,t17a_3,t17a_18,1).
bond(t17,t17a_18,t17a_19,2).
bond(t17,t17a_18,t17a_20,2).
bond(t17,t17a_18,t17a_21,1).
bond(t17,t17a_21,t17a_22,1).
bond(t17,t17b_1,t17b_2,7).
bond(t17,t17b_2,t17b_3,7).
bond(t17,t17b_3,t17b_4,7).
bond(t17,t17b_4,t17b_5,7).
bond(t17,t17b_5,t17b_6,7).
bond(t17,t17b_6,t17b_1,7).
bond(t17,t17b_1,t17b_7,1).
bond(t17,t17b_3,t17b_8,1).
bond(t17,t17b_6,t17b_9,1).
bond(t17,t17b_5,t17b_10,1).
bond(t17,t17b_10,t17b_11,1).
bond(t17,t17b_10,t17b_12,1).
bond(t17,t17b_10,t17b_13,1).
bond(t17,t17b_2,t17b_14,1).
bond(t17,t17b_14,t17b_15,1).
bond(t17,t17b_14,t17b_16,1).
bond(t17,t17b_14,t17b_17,1).
bond(t17,t17b_4,t17b_18,1).
bond(t17,t17b_18,t17b_19,1).
bond(t17,t17b_19,t17b_20,1).
bond(t17,t17b_18,t17b_21,2).
bond(t17,t17b_18,t17b_22,2).
bond(t18,t18_1,t18_2,7).
bond(t18,t18_2,t18_3,7).
bond(t18,t18_3,t18_4,7).
bond(t18,t18_4,t18_5,7).
bond(t18,t18_5,t18_1,7).
bond(t18,t18_1,t18_6,1).
bond(t18,t18_1,t18_7,1).
bond(t18,t18_2,t18_8,1).
bond(t18,t18_2,t18_9,1).
bond(t18,t18_3,t18_10,1).
bond(t18,t18_3,t18_11,1).
bond(t18,t18_4,t18_12,1).
bond(t18,t18_12,t18_13,1).
bond(t18,t18_12,t18_14,1).
bond(t18,t18_12,t18_15,1).
bond(t18,t18_13,t18_16,1).
bond(t19,t19_1,t19_2,7).
bond(t19,t19_2,t19_3,7).
bond(t19,t19_3,t19_4,7).
bond(t19,t19_4,t19_5,7).
bond(t19,t19_5,t19_6,7).
bond(t19,t19_6,t19_1,7).
bond(t19,t19_1,t19_7,1).
bond(t19,t19_2,t19_8,1).
bond(t19,t19_3,t19_9,1).
bond(t19,t19_5,t19_10,1).
bond(t19,t19_6,t19_11,1).
bond(t19,t19_4,t19_12,1).
bond(t19,t19_12,t19_13,1).
bond(t19,t19_13,t19_14,1).
bond(t19,t19_14,t19_15,1).
bond(t19,t19_15,t19_16,1).
bond(t19,t19_16,t19_17,1).
bond(t19,t19_17,t19_12,1).
bond(t19,t19_15,t19_18,1).
bond(t19,t19_15,t19_19,1).
bond(t19,t19_12,t19_20,1).
bond(t19,t19_20,t19_21,1).
bond(t19,t19_20,t19_22,1).
bond(t19,t19_20,t19_23,1).
bond(t19,t19_21,t19_24,1).
bond(t19,t19_21,t19_25,1).
bond(t19,t19_21,t19_26,1).
bond(t19,t19_17,t19_27,2).
bond(t19,t19_13,t19_28,2).
bond(t19,t19_16,t19_29,1).
bond(t19,t19_14,t19_30,1).
bond(t2,t2_1,t2_2,7).
bond(t2,t2_2,t2_3,7).
bond(t2,t2_3,t2_4,7).
bond(t2,t2_4,t2_5,7).
bond(t2,t2_5,t2_6,7).
bond(t2,t2_6,t2_1,7).
bond(t2,t2_2,t2_7,1).
bond(t2,t2_7,t2_8,1).
bond(t2,t2_8,t2_9,1).
bond(t2,t2_9,t2_10,1).
bond(t2,t2_10,t2_11,2).
bond(t2,t2_11,t2_12,1).
bond(t2,t2_12,t2_7,1).
bond(t2,t2_12,t2_13,1).
bond(t2,t2_13,t2_14,1).
bond(t2,t2_14,t2_3,1).
bond(t2,t2_1,t2_15,1).
bond(t2,t2_15,t2_8,4).
bond(t2,t2_12,t2_16,4).
bond(t2,t2_13,t2_17,4).
bond(t2,t2_9,t2_18,4).
bond(t2,t2_6,t2_19,1).
bond(t2,t2_19,t2_20,1).
bond(t2,t2_4,t2_21,1).
bond(t2,t2_5,t2_22,1).
bond(t2,t2_8,t2_23,1).
bond(t2,t2_9,t2_24,1).
bond(t2,t2_14,t2_25,1).
bond(t2,t2_14,t2_26,1).
bond(t2,t2_18,t2_27,1).
bond(t2,t2_20,t2_28,1).
bond(t2,t2_20,t2_29,1).
bond(t2,t2_20,t2_30,1).
bond(t2,t2_10,t2_31,1).
bond(t2,t2_11,t2_32,1).
bond(t2,t2_13,t2_33,4).
bond(t2,t2_7,t2_34,4).
bond(t2,t2_33,t2_35,4).
bond(t2,t2_34,t2_35,1).
bond(t2,t2_34,t2_36,1).
bond(t2,t2_34,t2_37,1).
bond(t2,t2_35,t2_38,1).
bond(t2,t2_35,t2_39,1).
bond(t2,t2_33,t2_40,1).
bond(t2,t2_40,t2_41,1).
bond(t2,t2_40,t2_42,1).
bond(t2,t2_40,t2_43,1).
bond(t20,t20_1,t20_2,1).
bond(t20,t20_2,t20_3,1).
bond(t20,t20_2,t20_4,1).
bond(t20,t20_2,t20_5,1).
bond(t20,t20_3,t20_6,1).
bond(t20,t20_3,t20_7,1).
bond(t20,t20_3,t20_8,1).
bond(t20,t20_6,t20_9,1).
bond(t20,t20_9,t20_10,1).
bond(t20,t20_9,t20_11,1).
bond(t20,t20_9,t20_12,1).
bond(t20,t20_10,t20_13,1).
bond(t20,t20_10,t20_14,1).
bond(t20,t20_10,t20_15,1).
bond(t20,t20_13,t20_16,1).
bond(t20,t20_13,t20_17,1).
bond(t20,t20_13,t20_18,1).
bond(t20,t20_1,t20_19,1).
bond(t20,t20_16,t20_20,1).
bond(t20,t20_16,t20_21,1).
bond(t20,t20_16,t20_22,1).
bond(t21,t21_1,t21_2,3).
bond(t22,t22_1,t22_2,1).
bond(t22,t22_1,t22_3,1).
bond(t22,t22_1,t22_4,1).
bond(t22,t22_1,t22_5,1).
bond(t22,t22_2,t22_6,1).
bond(t22,t22_6,t22_7,1).
bond(t22,t22_6,t22_8,1).
bond(t22,t22_6,t22_9,1).
bond(t22,t22_2,t22_10,2).
bond(t22,t22_10,t22_11,1).
bond(t22,t22_10,t22_12,1).
bond(t23,t23_1,t23_2,7).
bond(t23,t23_2,t23_3,7).
bond(t23,t23_3,t23_4,7).
bond(t23,t23_4,t23_5,7).
bond(t23,t23_5,t23_6,7).
bond(t23,t23_6,t23_1,7).
bond(t23,t23_1,t23_7,1).
bond(t23,t23_4,t23_8,1).
bond(t23,t23_6,t23_9,1).
bond(t23,t23_2,t23_10,1).
bond(t23,t23_10,t23_11,1).
bond(t23,t23_11,t23_12,1).
bond(t23,t23_11,t23_13,1).
bond(t23,t23_11,t23_14,1).
bond(t23,t23_3,t23_15,1).
bond(t23,t23_15,t23_16,1).
bond(t23,t23_16,t23_17,1).
bond(t23,t23_16,t23_18,1).
bond(t23,t23_16,t23_19,1).
bond(t23,t23_5,t23_20,1).
bond(t23,t23_20,t23_21,1).
bond(t23,t23_20,t23_22,1).
bond(t23,t23_20,t23_23,1).
bond(t23,t23_21,t23_24,2).
bond(t23,t23_21,t23_25,1).
bond(t23,t23_24,t23_26,1).
bond(t23,t23_24,t23_27,1).
bond(t24,t24_1,t24_2,1).
bond(t24,t24_2,t24_3,1).
bond(t24,t24_3,t24_4,1).
bond(t24,t24_4,t24_5,1).
bond(t24,t24_5,t24_6,1).
bond(t24,t24_6,t24_1,1).
bond(t24,t24_2,t24_7,1).
bond(t24,t24_2,t24_8,1).
bond(t24,t24_5,t24_9,1).
bond(t24,t24_5,t24_10,1).
bond(t24,t24_3,t24_11,1).
bond(t24,t24_11,t24_12,1).
bond(t24,t24_12,t24_13,1).
bond(t24,t24_13,t24_14,1).
bond(t24,t24_14,t24_4,1).
bond(t24,t24_11,t24_15,1).
bond(t24,t24_11,t24_16,1).
bond(t24,t24_12,t24_17,1).
bond(t24,t24_12,t24_18,1).
bond(t24,t24_13,t24_19,1).
bond(t24,t24_19,t24_20,1).
bond(t24,t24_20,t24_21,1).
bond(t24,t24_21,t24_22,1).
bond(t24,t24_22,t24_14,1).
bond(t24,t24_14,t24_23,1).
bond(t24,t24_13,t24_24,1).
bond(t24,t24_21,t24_25,1).
bond(t24,t24_21,t24_26,1).
bond(t24,t24_22,t24_27,1).
bond(t24,t24_22,t24_28,1).
bond(t24,t24_19,t24_29,1).
bond(t24,t24_29,t24_30,1).
bond(t24,t24_30,t24_31,1).
bond(t24,t24_31,t24_20,1).
bond(t24,t24_19,t24_32,1).
bond(t24,t24_29,t24_33,1).
bond(t24,t24_29,t24_34,1).
bond(t24,t24_30,t24_35,1).
bond(t24,t24_30,t24_36,1).
bond(t24,t24_1,t24_37,2).
bond(t24,t24_6,t24_38,2).
bond(t24,t24_38,t24_39,1).
bond(t24,t24_38,t24_40,1).
bond(t24,t24_3,t24_41,4).
bond(t24,t24_4,t24_42,1).
bond(t24,t24_42,t24_43,1).
bond(t24,t24_42,t24_44,1).
bond(t24,t24_42,t24_45,1).
bond(t24,t24_20,t24_46,1).
bond(t24,t24_46,t24_47,1).
bond(t24,t24_46,t24_48,1).
bond(t24,t24_46,t24_49,1).
bond(t24,t24_31,t24_50,1).
bond(t24,t24_31,t24_51,4).
bond(t24,t24_51,t24_52,1).
bond(t24,t24_51,t24_53,1).
bond(t24,t24_51,t24_54,1).
bond(t24,t24_39,t24_55,1).
bond(t24,t24_50,t24_56,1).
bond(t25,t25_1,t25_2,7).
bond(t25,t25_2,t25_3,7).
bond(t25,t25_3,t25_4,7).
bond(t25,t25_4,t25_5,7).
bond(t25,t25_5,t25_6,7).
bond(t25,t25_6,t25_1,7).
bond(t25,t25_1,t25_7,1).
bond(t25,t25_2,t25_8,1).
bond(t25,t25_5,t25_9,1).
bond(t25,t25_6,t25_10,1).
bond(t25,t25_3,t25_11,1).
bond(t25,t25_11,t25_12,1).
bond(t25,t25_12,t25_13,7).
bond(t25,t25_13,t25_14,1).
bond(t25,t25_14,t25_4,1).
bond(t25,t25_12,t25_15,7).
bond(t25,t25_15,t25_16,7).
bond(t25,t25_16,t25_17,7).
bond(t25,t25_17,t25_18,7).
bond(t25,t25_18,t25_13,7).
bond(t25,t25_15,t25_19,1).
bond(t25,t25_16,t25_20,1).
bond(t25,t25_17,t25_21,1).
bond(t25,t25_18,t25_22,1).
bond(t25,t25_14,t25_23,2).
bond(t25,t25_11,t25_24,2).
bond(t26,t26_1,t26_2,7).
bond(t26,t26_2,t26_3,7).
bond(t26,t26_3,t26_4,7).
bond(t26,t26_4,t26_5,7).
bond(t26,t26_5,t26_6,7).
bond(t26,t26_6,t26_1,7).
bond(t26,t26_2,t26_7,1).
bond(t26,t26_6,t26_8,1).
bond(t26,t26_3,t26_9,1).
bond(t26,t26_9,t26_10,1).
bond(t26,t26_10,t26_11,7).
bond(t26,t26_11,t26_12,1).
bond(t26,t26_12,t26_4,1).
bond(t26,t26_10,t26_13,7).
bond(t26,t26_13,t26_14,7).
bond(t26,t26_14,t26_15,7).
bond(t26,t26_15,t26_16,7).
bond(t26,t26_16,t26_11,7).
bond(t26,t26_13,t26_17,1).
bond(t26,t26_15,t26_18,1).
bond(t26,t26_12,t26_19,2).
bond(t26,t26_9,t26_20,2).
bond(t26,t26_1,t26_21,1).
bond(t26,t26_21,t26_22,1).
bond(t26,t26_21,t26_23,1).
bond(t26,t26_21,t26_24,1).
bond(t26,t26_5,t26_25,1).
bond(t26,t26_14,t26_26,1).
bond(t26,t26_16,t26_27,1).
bond(t26,t26_25,t26_28,1).
bond(t26,t26_27,t26_29,1).
bond(t26,t26_26,t26_30,1).
bond(t27,t27_1,t27_2,1).
bond(t27,t27_1,t27_3,1).
bond(t27,t27_1,t27_4,1).
bond(t27,t27_1,t27_5,1).
bond(t27,t27_2,t27_6,1).
bond(t27,t27_6,t27_7,1).
bond(t27,t27_6,t27_8,1).
bond(t27,t27_6,t27_9,1).
bond(t27,t27_2,t27_10,2).
bond(t27,t27_10,t27_11,1).
bond(t27,t27_10,t27_12,1).
bond(t27,t27_11,t27_13,1).
bond(t27,t27_11,t27_14,1).
bond(t27,t27_11,t27_15,1).
bond(t27,t27_13,t27_16,1).
bond(t27,t27_13,t27_17,1).
bond(t27,t27_13,t27_18,1).
bond(t27,t27_16,t27_19,1).
bond(t27,t27_19,t27_20,1).
bond(t27,t27_19,t27_21,1).
bond(t27,t27_19,t27_22,1).
bond(t27,t27_16,t27_23,2).
bond(t27,t27_23,t27_24,1).
bond(t27,t27_23,t27_25,1).
bond(t27,t27_24,t27_26,2).
bond(t27,t27_24,t27_27,1).
bond(t28,t28_1,t28_2,2).
bond(t28,t28_1,t28_3,2).
bond(t28,t28_1,t28_4,1).
bond(t29,t29_1,t29_2,7).
bond(t29,t29_2,t29_3,7).
bond(t29,t29_3,t29_4,7).
bond(t29,t29_4,t29_5,7).
bond(t29,t29_5,t29_6,7).
bond(t29,t29_6,t29_1,7).
bond(t29,t29_1,t29_7,1).
bond(t29,t29_2,t29_8,1).
bond(t29,t29_3,t29_9,1).
bond(t29,t29_4,t29_10,1).
bond(t29,t29_6,t29_11,1).
bond(t29,t29_5,t29_12,1).
bond(t29,t29_12,t29_13,2).
bond(t29,t29_12,t29_14,1).
bond(t29,t29_13,t29_15,1).
bond(t29,t29_13,t29_16,1).
bond(t29,t29_15,t29_17,2).
bond(t29,t29_15,t29_18,1).
bond(t3,t3_1,t3_2,7).
bond(t3,t3_2,t3_3,7).
bond(t3,t3_3,t3_4,7).
bond(t3,t3_4,t3_5,7).
bond(t3,t3_5,t3_6,7).
bond(t3,t3_6,t3_1,7).
bond(t3,t3_1,t3_7,1).
bond(t3,t3_2,t3_8,1).
bond(t3,t3_5,t3_9,1).
bond(t3,t3_6,t3_10,1).
bond(t3,t3_3,t3_11,1).
bond(t3,t3_11,t3_12,1).
bond(t3,t3_12,t3_13,1).
bond(t3,t3_13,t3_14,2).
bond(t3,t3_14,t3_4,1).
bond(t3,t3_13,t3_15,1).
bond(t3,t3_11,t3_16,1).
bond(t3,t3_14,t3_17,1).
bond(t3,t3_17,t3_18,1).
bond(t3,t3_17,t3_19,1).
bond(t3,t3_17,t3_20,1).
bond(t3,t3_12,t3_21,1).
bond(t3,t3_21,t3_22,1).
bond(t3,t3_21,t3_23,1).
bond(t3,t3_21,t3_24,1).
bond(t3,t3_12,t3_25,1).
bond(t3,t3_25,t3_26,1).
bond(t3,t3_25,t3_27,1).
bond(t3,t3_25,t3_28,1).
bond(t30,t30_1,t30_2,2).
bond(t4,t4_1,t4_2,1).
bond(t4,t4_1,t4_3,1).
bond(t4,t4_1,t4_4,1).
bond(t4,t4_1,t4_5,1).
bond(t4,t4_2,t4_6,2).
bond(t4,t4_2,t4_7,2).
bond(t5,t5_1,t5_2,1).
bond(t5,t5_2,t5_3,1).
bond(t5,t5_3,t5_4,1).
bond(t5,t5_4,t5_5,1).
bond(t5,t5_5,t5_1,1).
bond(t5,t5_1,t5_6,1).
bond(t5,t5_1,t5_7,1).
bond(t5,t5_2,t5_8,1).
bond(t5,t5_2,t5_9,1).
bond(t5,t5_3,t5_10,1).
bond(t5,t5_3,t5_11,1).
bond(t5,t5_4,t5_12,1).
bond(t5,t5_4,t5_13,1).
bond(t6,t6_1,t6_2,7).
bond(t6,t6_2,t6_3,7).
bond(t6,t6_3,t6_4,7).
bond(t6,t6_4,t6_5,7).
bond(t6,t6_5,t6_6,7).
bond(t6,t6_6,t6_1,7).
bond(t6,t6_1,t6_7,1).
bond(t6,t6_3,t6_8,1).
bond(t6,t6_6,t6_9,1).
bond(t6,t6_5,t6_10,1).
bond(t6,t6_2,t6_11,1).
bond(t6,t6_4,t6_12,1).
bond(t6,t6_12,t6_13,1).
bond(t6,t6_13,t6_14,1).
bond(t6,t6_13,t6_15,1).
bond(t6,t6_13,t6_16,1).
bond(t6,t6_12,t6_17,1).
bond(t6,t6_17,t6_18,1).
bond(t6,t6_17,t6_19,1).
bond(t6,t6_17,t6_20,1).
bond(t6,t6_12,t6_21,1).
bond(t6,t6_21,t6_22,1).
bond(t6,t6_21,t6_23,1).
bond(t6,t6_21,t6_24,1).
bond(t6,t6_10,t6_25,1).
bond(t6,t6_11,t6_26,1).
bond(t7,t7_1,t7_2,7).
bond(t7,t7_2,t7_3,7).
bond(t7,t7_3,t7_4,7).
bond(t7,t7_4,t7_5,7).
bond(t7,t7_5,t7_6,7).
bond(t7,t7_6,t7_1,7).
bond(t7,t7_1,t7_7,1).
bond(t7,t7_2,t7_8,1).
bond(t7,t7_3,t7_9,1).
bond(t7,t7_5,t7_10,1).
bond(t7,t7_6,t7_11,1).
bond(t7,t7_4,t7_12,1).
bond(t7,t7_12,t7_13,1).
bond(t7,t7_12,t7_14,1).
bond(t7,t7_12,t7_15,1).
bond(t7,t7_13,t7_16,1).
bond(t7,t7_13,t7_17,1).
bond(t7,t7_13,t7_18,1).
bond(t8,t8_1,t8_2,2).
bond(t8,t8_1,t8_3,1).
bond(t8,t8_1,t8_4,1).
bond(t8,t8_2,t8_5,1).
bond(t8,t8_5,t8_6,2).
bond(t8,t8_5,t8_7,1).
bond(t8,t8_6,t8_8,1).
bond(t8,t8_6,t8_9,1).
bond(t8,t8_2,t8_10,1).
bond(t9,t9_1,t9_2,2).
bond(t9,t9_1,t9_3,1).
bond(t9,t9_1,t9_4,2).
bond(t9,t9_1,t9_5,1).
bond(t9,t9_3,t9_6,1).
bond(t9,t9_5,t9_6,1).
